weakly representable predicate

См. также в других словарях:

• Classifying space — In mathematics, specifically in homotopy theory, a classifying space BG of a topological group G is the quotient of a weakly contractible space EG (i.e. a topological space for which all its homotopy groups are trivial) by a free action of G. It… …   Wikipedia